<HTML><HEAD><TITLE>?Term1 @> ?Term2</TITLE>
</HEAD><BODY>[ <A HREF="index.html">Comparing and Sorting</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>?Term1 @> ?Term2</H1>
Succeeds if term Term1 is after term Term2 in the standard ordering.


<DL>
<DT><EM>Term1</EM></DT>
<DD>An arbitrary term.
</DD>
<DT><EM>Term2</EM></DT>
<DD>An arbitrary term.
</DD>
</DL>
<H2>Description</H2>
   Succeeds if term Term1 is after term Term2 in the standard ordering of
   terms.

<P>
   See compare/3 for the definition of this standard ordering.
<P>

<H3>Modes and Determinism</H3><UL>
<LI>@>(?, ?) is semidet
</UL>
<H3>Fail Conditions</H3>
Fails if Term1 does not come after Term2.
<H2>Examples</H2>
<PRE>
   Success:
   0.0 @&gt; X.             (gives X = _g70)
   0 @&gt; 0.0.
   0 @&gt; 1.0.
   atomb @&gt; atoma.
   [a,b] @&gt; [a|b].
   f(1,1) @&gt; f(1).
   b(1) @&gt; a(1).
   a(1,1,1,2) @&gt; a(1,1,1,1).
   Fail:
   X @&gt; 1.0.
   atom @&gt; atom.
   [a|X] @&gt; [a,b,c,d].
   a(1) @&gt; a(2).



</PRE>
<H2>See Also</H2>
<A HREF="../../kernel/termcomp/compare-3.html">compare / 3</A>, <A HREF="../../kernel/termcomp/AEL-2.html">@=< / 2</A>, <A HREF="../../kernel/termcomp/AL-2.html">@< / 2</A>, <A HREF="../../kernel/termcomp/AGE-2.html">@>= / 2</A>
</BODY></HTML>
